|
|
Autonomous Control of Cars
Čurda, Vojtěch ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The purpose of this bachelor's thesis is to create a model of a self-driving vehicle, along with its surroundings. At first, the thesis outlines the vehicle automation and the system modeling problematics. The thesis then shows the design of said model, as well as its implementation. The model was implemented in UPPAAL Stratego - a tool that is used for modeling, validation and verification of real-time systems, in which the model is implemented as networks of timed automata. The result is a model of a self-driving vehicle, that can drive itself on a motorway with an arbitrary amount of traffic lanes. The self-driving vehicle reacts appropriately to the movement of other vehicles on the motorway and can change its speed according to speed limiting traffic signs. The behaviour of the model is then validated with the help of statistical analysis, which is done using the verification language embedded in the mentioned tool. The model is tested in specific scenarios, as well as random scenarios, where the self-driving vehicle is set into a regular traffic.
|
|
|
Computational Model of Control and Behaviour of Self-Driven Vehicle
Kužela, Michal ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
This thesis explains basic principles of autonomous vehicles. Based on these principles, it describes proposed simulation model of autonomous vehicle with its behavior in different outer conditions. The model is composed from sensors and vehicle itself. Sensors use an algorithm based on line intersection to detect collisions. Vehicle model is mostly described by physical formulas and custom decision algorithms. Its surrounding objects have parameters that are randomly selected for each simulation run. This thesis also explains implementation of the simulation model with its own simulation framework and an analysis tool for collected data. All of these features are implemented in JavaScript with use of Node.js and an Electron framework.
|
|
|
Autonomous Control of Cars
Čurda, Vojtěch ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The purpose of this bachelor's thesis is to create a model of a self-driving vehicle, along with its surroundings. At first, the thesis outlines the vehicle automation and the system modeling problematics. The thesis then shows the design of said model, as well as its implementation. The model was implemented in UPPAAL Stratego - a tool that is used for modeling, validation and verification of real-time systems, in which the model is implemented as networks of timed automata. The result is a model of a self-driving vehicle, that can drive itself on a motorway with an arbitrary amount of traffic lanes. The self-driving vehicle reacts appropriately to the movement of other vehicles on the motorway and can change its speed according to speed limiting traffic signs. The behaviour of the model is then validated with the help of statistical analysis, which is done using the verification language embedded in the mentioned tool. The model is tested in specific scenarios, as well as random scenarios, where the self-driving vehicle is set into a regular traffic.
|
|
|
Computational Model of Control and Behaviour of Self-Driven Vehicle
Kužela, Michal ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
This thesis explains basic principles of autonomous vehicles. Based on these principles, it describes proposed simulation model of autonomous vehicle with its behavior in different outer conditions. The model is composed from sensors and vehicle itself. Sensors use an algorithm based on line intersection to detect collisions. Vehicle model is mostly described by physical formulas and custom decision algorithms. Its surrounding objects have parameters that are randomly selected for each simulation run. This thesis also explains implementation of the simulation model with its own simulation framework and an analysis tool for collected data. All of these features are implemented in JavaScript with use of Node.js and an Electron framework.
|
guest ::
